（来源：上观新闻）
图丨基于自然👩👩👦语言的🥜⏪代码正确性推🇧🇷理示例（来源：🦔🇰🇾arXiv） 🎨如上图所示，F🇮🇶📚M-Ag⛽🥵ent 逐段推理🇷🇴🧴代码执行后的程序🉐🦛状态描🇧🇧🏤述（注👿👬释部分）👡，即后置🇲🇰条件，一直推理到🥳函数返回，检🇹🇦🛳查最终的程序状态🇹🇯💌描述是否违背了🚘规约里对最终程序🇲🇸状态的要求🦎♋。
传统的工业机🍙🇩🇴器人（比如固👩💻☹定在工位上的机械🏦臂）可以👩🦳👠达到几千🏧🎎欧美激情区二区一区三甚至上万小时🥇，“但是人形机💀器人普遍⬛可能是小时级😀、个位数🏗📓的水平🖋🅿。
Pen😺😢g Xu🎄是De🌮🈚epM☺ind机器😱人基础模型方🇧🇭向的研究员，专注🙃🥋机器人学⏯欧美激情区二区一区三习与大模型的结合🛫，不仅参与过♾️上面的🌺机器人打乒乓球，📽也是RT👩👦👦-1、RT-2、🥴Cap（Co⚱de ✏as polic🧒🕔y）、Gem😶🦂ini ro💾🏄♀️botics🚵等一系列著名工作🎓的作者之一🐗。
